Fil's C Compiler
fil-c.org·11h·
Discuss: Hacker News
🔗Functional Compilers
Introducing: A Go package to reduce err boilerplate
dev.to·11h·
Discuss: DEV
🐚Shell Monads
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·3d·
Discuss: Hacker News
💧Liquid Types
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·2d
🔗Concatenative Programming
Proxmox-GitOps: IaC Container Automation for Proxmox (Single-Click Docker to PVE via Recursive GitOps Pipeline)
reddit.com·16h·
Discuss: r/homelab
🤖Network Automation
Binary Exploitation 101 - ROP (Return-Oriented Programming)
r1ru.github.io·1d
🛡️CLI Security
The State of Adversarial Prompts
blog.securitybreak.io·4h
🎯Threat Hunting
MiniRust
github.com·1d·
Discuss: Hacker News
🔒Linear Types
An introduction to program synthesis
mchav.github.io·2d·
Discuss: Hacker News, r/programming
📝Compiler Design
A set of smooth, fzf-powered shell aliases&functions for systemctl
silverrainz.me·1d·
Discuss: Hacker News
🛡️CLI Security
The future of microoptimization
goldenstack.net·1d·
Discuss: Hacker News
🧮Compute Optimization
Haskell Interlude: 70: Phil Wadler
haskell.foundation·6h
🧬Functional Programming
The Capability-Tractability Tradeoff (2023)
buttondown.com·1d·
Discuss: Hacker News
💧Liquid Types
Choosing Rust for LLM-generated code
runmat.org·1d·
Discuss: Hacker News
🦀Rust Macros
Beyond Traditional Pseudorandomness, Tsotchkes' Quantum Random Number Generation
medium.com·12h·
Discuss: Hacker News
🔐Quantum Cryptography
Early Bytes of Creativity – Forgotten Mainframe Games, Part I (2023)
zeitgame.net·1d·
Discuss: Lobsters
🕹️Retro Gaming
Kefir: A new C17/C23 compiler for amd64 Unix
kefir.protopopov.lv·19h·
Discuss: Hacker News
🔓Open Source Software
Joy & Curiosity #54
registerspill.thorstenball.com·8h
⚙️Proof Engineering
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·1d
💎Information Crystallography
Eternal-Tux: Crafting a Linux Kernel KSMBD 0-Click RCE Exploit from N-Days
willsroot.io·5h·
Discuss: Hacker News, www.willsroot.io
🛡️eBPF Security